$\forall$${\it the\_w}$:World, $l$:IdLnk, $t$:$\mathbb{N}$. rcvs($l$;$t$) $\in$ (Action(destination($l$)) List)